Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
421	A Theory of Information-Flow Labels Benoˆıt Montagu University of Pennsylvania Philadelphia, USA Benjamin C. Pierce Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-30 03:50:37 Structure Abstract algebra Order theory Category theory Differential topology Embedding General frame Mathematics Model theory Topology
422	Pricing Combinatorial Markets for Tournaments [Extended Abstract] Yiling Chen Yahoo! Research 111 West 40th Street Add to Reading List Source URL: 5harad.com Language: English - Date: 2014-09-24 20:04:52 Probability theory Bayesian network Networks Graphical model Bayesian statistics Statistics Statistical models
423	JAF26/Weak Arithmetics Days Seville, June 11–13, 2007 Self-applied proof verification (Extended abstract)? Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 12:52:10 Philosophical logic Model theory Predicate logic Metalogic Mathematical proof Kripke semantics Correctness Quantification Function Logic Mathematics Mathematical logic
424	Tableaux for Verification of Data-Centric Processes Andreas Bauer, Peter Baumgartner, Martin Diller and Michael Norrish NICTA? and Australian National University, Canberra, Australia Abstract. Current approaches to analy Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2013-06-19 01:47:13 Model theory Formal languages Metalogic Linear temporal logic Temporal logic Logical syntax Interpretation First-order logic Symbol Logic Mathematical logic Mathematics
425	Effective Quotation Relating approaches to language-integrated query James Cheney Sam Lindley Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-12-09 08:04:44 Algebra Algebraic geometry Field theory Valuation Language Integrated Query SQL Symbol Quasigroup Relational model Abstract algebra Computing Query languages
426	Kaipio, Jari. Simulation and Estimation of Nonstationary EEG. Kuopio University Publications C. Natural and Environmental Sciences[removed]p. ISBN[removed]ISSN[removed]ABSTRACT Add to Reading List Source URL: dsp-book.narod.ru Language: English - Date: 2013-05-06 00:56:54 Signal processing Econometrics Estimation theory Spectral density estimation Autoregressive–moving-average model Electroencephalography Moving-average model Autoregressive conditional heteroskedasticity Autoregressive model Statistics Noise Time series analysis
427	Contents Braids and Knots . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Patrick D. Bangert 1 Physical Knots and Braids: A History and Overview . . . . . . . . . . . . . 2 Brai Add to Reading List Source URL: www.matapp.unimib.it Language: English - Date: 2014-06-22 16:47:48 Geometric topology Braid group Random walk model of consumption Braid theory Tangle Hamiltonian system Braid Link Hamiltonian mechanics Knot theory Topology Abstract algebra
428	Factor Saving Innovation Michele Boldrin and David K. Levine University of Minnesota and UCLA September 28, 2001 Abstract It has been argued that concave models exhibit less \endogeneity of Add to Reading List Source URL: www.micheleboldrin.com Language: English - Date: 2006-12-12 14:07:05 Welfare economics Economic theories Neoclassical growth model Endogenous growth theory AK model Labour economics Economic growth Economics Macroeconomics
429	Dynamic Imagery: A Computational Model of Motion and Visual Analogy David Croft and Paul Thagard University of Waterloo Abstract: Add to Reading List Source URL: cogsci.uwaterloo.ca Language: English - Date: 2004-02-17 10:28:58 Memory Graph theory Brain Knowledge representation Scene graph Mental image Tree Graph Working memory Mind Cognitive science Philosophy of mind

UPDATE